package lpg;

class PredecessorSetDefinition
{
    PredecessorSetDefinition(int lhsIndex, int rhsIndex)
    {
        this.lhsIndex = lhsIndex;
        this.rhsIndex = rhsIndex;
    }

    final int lhsIndex;
    final int rhsIndex;

}
